Pitts' Quantifiers Are Not Topological Quantification
نویسندگان
چکیده
منابع مشابه
Quantifiers vs. Quantification Theory
The syntax and semantics of quantifiers is of crucial significance in current linguistic theorizing for more than one reason. The last statement of his grammatical theories by the late Richard Montague (1 973) is modestly entitled " The Proper Treatment of Quantification in Ordinary English ". In the authoritative statement of his " Generative Semantics " , George Lakoff (1971, especially pp. 2...
متن کاملDistributive Lattices with Quantifiers: Topological Representation
We give a representation of distributive lattices with the existential quantifier in terms of spectral spaces, which is an alternative to Cignoli’s representation in terms of Priestley spaces. Then we describe dual spectral spaces of subdirectly irreducible and simple Q-distributive lattices and prove that the variety QDist of Q-distributive lattices does not have the congruence extension prope...
متن کاملFuzzy Quantifiers, Multiple Variable Binding and Branching Quantification
Lindström [1] introduced a very powerful notion of quantifiers, which permits multi-place quantification and the simultaneous binding of several variables. ‘Branching’ quantifification was found to be useful by linguists e.g. for modelling reciprocal constructions like “Most men and most women admire each other”. Westerståhl [2] showed how to compute the three-place Lindström quantifier for “Q1...
متن کاملTopological predomains and qcb spaces are not closed under sobrification
In (Simpson 2003) A. Simpson introduced the category PreDom of topological predomains as a framework for denotational semantics containing also most classical spaces, namely all countably based T0 spaces. Countably based T0 spaces are isomorphic to subspaces of Pω where the latter is endowed with the Scott topology. A qcb space (as introduced in (Menni and Simpson 2002)) is a T0 space which app...
متن کاملCertain Verbs Are Syntactically Explicit Quantifiers
Quantification over individuals, times, and worlds can in principle be made explicit in the syntax of the object language, or left to the semantics and spelled out in the metalanguage. The traditional view is that quantification over individuals is syntactically explicit, whereas quantification over times and worlds is not. But a growing body of literature proposes a uniform treatment. This pap...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1998
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1039118868